SMT-based schedulability analysis using RMTL-∫
نویسندگان
چکیده
منابع مشابه
Schedulability Analysis Using Two Clocks
In classic scheduling theory, real-time tasks are usually assumed to be periodic, i.e. tasks arrive and compute with fixed rates periodically. To relax the stringent constraints on task arrival times, we propose to use timed automata to describe task arrival patterns. In a previous work, it is shown that the general schedulability checking problem for such models is a reachability problem for a...
متن کاملUsing Components to Facilitate Stochastic Schedulability Analysis
In this work-in-progress paper we present how Component Based Software Engineering (CBSE) may be used to facilitate stochastic schedulability analysis of embedded real-time systems, by providing realistic models of execution time distributions. We present our ongoing work regarding the usage of Execution Time Profiles (ETPs) to represent the timing behaviour of real-time components. These ETPs ...
متن کاملApproximate Schedulability Analysis
The schedulability analysis problem for many realistic task models is intractable. Therefore known algorithms either have exponential complexity or at best can be solved in pseudo-polynomial time, thereby restricting the application of the concerned models to a large extent. We introduce the notion of “approximate schedulability analysis” and show that if a small amount of “error” (which is spe...
متن کاملSpeeding Up SMT-Based Quantitative Program Analysis
Quantitative program analysis involves computing numerical quantities about individual or collections of program executions. An example of such a computation is quantitative information flow analysis, where one estimates the amount of information leaked about secret data through a program’s output channels. Such information can be quantified in several ways, including channel capacity and (Shan...
متن کاملSMT-Based Analysis of Biological Computation
Synthetic biology focuses on the re-engineering of living organisms for useful purposes while DNA computing targets the construction of therapeutics and computational circuits directly from DNA strands. The complexity of biological systems is a major engineering challenge and their modeling relies on a number of diverse formalisms. Moreover, many applications are “mission-critical” (e.g. as rec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGBED Review
سال: 2017
ISSN: 1551-3688
DOI: 10.1145/3166227.3166234